Blocking Sets , k - Arcs and Nets of Order Ten
نویسنده
چکیده
Our first main objective here is to unify two important theories in finite geometries, namely, the theories of k-arcs and blocking sets. This has a number of consequences, which we develop elsewhere. However,one consequence that we do discuss here is an improvement of Bruck’s bound [ l] concerning the possibility of embedment of finite nets of order II, in the controversial case when n = 10. The argument also makes use of a recent computer result of Denniston [5]. The second (related) main result involves a new combinatorial bound concerning blocking sets (Theorem 5). We are able to show that the bound is sharp by constructing a new class of geometrical examples of blocking sets in Theorem 6. See also the note added in proof.
منابع مشابه
On small complete arcs in a finite plane
Recent results on blocking sets are applied to the bisecants of a small complete arc, since these lines form a dual blocking set. It is shown that such blocking sets yield a lacunary polynomial of specific type. This leads to an improvement to the lower bound of the existence of a complete k-arc when the order of the plane is a square prime.
متن کاملReduction rules for reset/inhibitor nets
Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancelation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive ...
متن کاملPetri Nets with Non-blocking Arcs are Difficult to Analyze
In this paper, we study the decidability of five problems on a class of extended Petri nets. The study of this class of extended Petri nets is motivated by the problem of parametric verification of multiple copies of processes that can communicate with a partially non-blocking rendez-vous. This kind of communications occurs in abstractions of multi-threaded JAVA programs.
متن کاملCausality in Extensions of Petri Nets
The causal semantics of standard net classes like Elementary Net Systems and Place/Transition Nets, is typically expressed in terms of partially ordered sets of transition occurrences. In each such partial order, causally related occurrences are ordered while concurrent transition occurrences remain unordered. Partial order semantics can, in particular, support model checking by efficient verif...
متن کاملMultiple blocking sets and arcs in finite planes
This paper contains two main results relating to the size of a multiple blocking set in PG(2, q). The first gives a very general lower bound, the second a much better lower bound for prime planes. The latter is used to consider maximum sizes of (k, n)-arcs in PG(2, 11) and PG(2, 13), some of which are determined. In addition, a summary is given of the value of mn(2, q) for q ≤ 13.
متن کامل